rigorous description

См. также в других словарях:

• Architecture description language — An Architecture Description Language (ADL) is a computer language used to describe software and/or system architectures. This means in case of technical architecture, the architecture must be communicated to software developers. With functional… …   Wikipedia

• Monument Class Description — A Monument Class Description provides a synthesis and summary of the archaeological evidence for a particular type of British ancient monument. The Monument Class Descriptions were created by English Heritage as part of the Monuments Protection… …   Wikipedia

• mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

• Tangent — For the tangent function see trigonometric functions. For other uses, see tangent (disambiguation). In geometry, the tangent line (or simply the tangent) to a curve at a given point is the straight line that just touches the curve at that point… …   Wikipedia

• Mathematical formulation of quantum mechanics — Quantum mechanics Uncertainty principle …   Wikipedia

• Internetworking — involves connecting two or more distinct computer networks or network segments via a common routing technology. The result is called an internetwork (often shortened to internet ).The most notable example of internetworking is the Internet… …   Wikipedia

• Energetics — is the scientific study of energy flows and storages under transformation. Because energy flows at all scales, from the quantum level, to the biosphere and cosmos, energetics is therefore a very broad discipline, encompassing for example… …   Wikipedia

• Info-gap decision theory — is a non probabilistic decision theory that seeks to optimize robustness to failure – or opportuneness for windfall – under severe uncertainty,[1][2] in particular applying sensitivity analysis of the stability radius type[3] to perturbations in… …   Wikipedia

• Security Target — In an IT product certification process according to the Common Criteria (CC), a Security Target (ST) is the central document, typically provided by the developer of the product,that specifies security evaluation criteria to substantiate the… …   Wikipedia

• How to Design Programs — (HtDP) is a textbook by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi on the systematic design of computer programs published in 2001 by MIT Press. The book introduces the concept of a design recipe , a six… …   Wikipedia

• Serpula lacrymans — is one of the fungi that are responsible for dry rot. It is a basidiomycete in the order Boletales. In the United Kingdom alone, the estimated cost of rectifying damage caused by dry rot is at least 150 million pounds per annum. Serpula Lacrymans …   Wikipedia